часть семиотики (См. Семиотика), посвященная изучению т. н. синтаксических, т. е. чисто структурных (см. Синтаксис в логике) свойств знаковых систем, безотносительно к каким-либо их Интерпретациям (составляющим предмет интересов семантики) и возможным интерпретаторам (рассматриваемым прагматикой (См. Прагматика)). (Поскольку имеются серьёзные основания характеризовать семиотику не как "науку" в общепринятом значении этого слова, а как определённый подход к описанию различного рода "знаковых ситуаций" и решению связанных с ними задач, о С. имеет смысл говорить как о чисто "формальном", структурном аспекте такого семиотического подхода.) Примером синтаксической характеристики исчисления (См. Исчисление) могут служить правила образования формул в этом исчислении, дающие критерии отличения формул от выражений, составленных из символов алфавита данного исчисления, но не являющихся его формулами. Синтаксис и морфология грамматик естественных языков также интересуются преимущественно синтаксическими (в рассматриваемом здесь смысле) вопросами. Особенно велик удельный вес синтаксических закономерностей в формализованных языках (См. Формализованный язык) математической логики и математики; именно в рамках логико-математических исследований возникли идеи, методы и результаты, про которые можно было бы сказать, что они составляют "предмет С.". Но синтаксический аспект исследования оказался весьма плодотворным и в применении к естественным языкам - как к "мёртвым" (в вопросах дешифровки древних письменностей), так и к ныне существующим (например, применительно к проблемам машинного перевода (См. Машинный перевод), см. также Модели в языкознании).

Лит. см. при статьях Исчисление, Семиотика.